package t2jumble;

import org.junit.Test;

/**
 * Replays a single T2 trace. This is used as input to Jumble, wherein
 * Jumble executes the trace for each mutation and reports on whether the
 * mutation was caught by the trace.
 */
public class ReplayTest {
	@Test
	public void T2Test() {
	    String traceFile = System.getProperty("traceFile");
	    Sequenic.T2.Main.Junit("-R "+traceFile);
	}
}
